An improved protocol reachability analysis technique
نویسندگان
چکیده
منابع مشابه
An Improved Protocol Reachability Analysis Technique
An automated analysis of all reachable states in a distributed system can be used to trace obscure logical errors that would be very hard to find manually. This type of validation is traditionally performed by the symbolic execution of a finite state machine (FSM) model of the system studied. The application of this method to systems of a practical size, though, is complicated by time and space...
متن کاملAn Improved Reachability Analysis Method for Strongly Linear Hybrid Systems
This paper addresses the exact computation of the set of reachable states of a strongly linear hybrid system. It proposes an approach that is an extension of classical state-space exploration. This approach uses a new operation, based on a cycle analysis in the control graph of the system, for generating sets of reachable states, as well as a powerful representation system for sets of values. T...
متن کاملAn Improved Junction-Based Directional Routing Protocol (IJDRP) for VANETs
Vehicular Ad-Hoc Networks (VANETs) is a novel technology that has recently emerged and due to its swift changing topology and high mobility nature, it has become problematic to design an efficient routing protocol in VANETs’ amongst both moving and stationary units. Also, the existing routing algorithms are not very effective to satisfy all requirements of VANETs. This paper explores the need o...
متن کاملProtocol Verification by Leaping Reachability Analysis
he communicating finite state machine (CFSM) model is one of the most widely used models for specifying and verifying communications protocols. In this model, a protocol is specified as a network of two or more processes exchanging messages over error-free simplex channels, where each process is a finite state machine (FSM) and each simplex channel is a FIFO queue. Protocol verification is ofte...
متن کاملAn Improved Approach in Flooding with Packet Reachability in Fsr (fisheye State Routing) Protocol Using Manet
Packet Reach ability and Broadcasting in Mobile Ad Hoc Networks (MANETs) is a fundamental data dissemination mechanism with a number of important applications, e.g., route discovery, address resolution. However broadcasting induces what is known as the ‘‘broadcast storm problem’’ which causes severe degradation in network performance due to excessive redundant retransmission, collision, and con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software: Practice and Experience
سال: 1988
ISSN: 0038-0644,1097-024X
DOI: 10.1002/spe.4380180203